$\forall$${\it es}$:ES, $a$, $b$:E. ($a$ = $b$) $\Rightarrow$ $a$ c$\leq$ $b$